Regular inference for reactive systems
- Författare
- Uppsala universitet Therese Berg
- (Therese Berg., Härtill 3 uppsatser, Lic.-avh. (sammanfattning) Uppsala : Uppsala universitet, 2006)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Uppsala University, Department of Information Technology | 2006 | Sverige, Uppsala, Uppsala | vii, 21 sidor. |